What Can We Expect from Program Verification?

The Open University ’ s repository of research publications and other research outputs What can we expect from program verification ?

Coronary angioplasty--what can we reasonably expect?

Timing verification of real-time automotive Ethernet networks: what can we expect from simulation?

Switched Ethernet is a technology that is profoundly reshaping automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Early stage timing verification of critical embedded networks typically relies on simulation and worst-case schedulability analysis. When the modeling power of schedulability analysis is not sufficient, ther...

What can we expect from omega-3 fatty acids?

Omega-3 fatty acids are abundant in fish oil. A high dietary intake of omega-3 fatty acids has been strongly linked to lower rates of cardiovascular disease in epidemiologic studies. Fish oil supplements lower triglyceride levels and may have other benefits such as preventing arrhythmias, reducing inflammation (although they have minimal impact on C-reactive protein), inhibiting platelet aggreg...

What we Expect from Digital Libraries

Digital Libraries have been the subject of more than a decade of attention by researchers and developers, and yet in all this time the implementations have not matched the promises. By far the majority of systems have concentrated on content and provided limited or basic functions for users. In this article we offer a new look at what can be expected from a digital library system based on conte...